a Journal of Mathematics

Results: 438



#Item
161NP-complete problems / Graph coloring / Topological graph theory / Angular resolution / Eulerian path / Planar graph / Graph / Edge coloring / Petersen graph / Graph theory / Mathematics / Graph drawing

Journal of Graph Algorithms and Applications http://jgaa.info/ vol. 0, no. 0, pp. 0–0 (0) Inapproximability of Orthogonal Compaction Michael J. Bannister David Eppstein Joseph A. Simons Computer Science Department,

Add to Reading List

Source URL: jgaa.info

Language: English - Date: 2012-03-09 04:02:51
162Formal languages / Applied mathematics / Dependently typed programming / Type theory / Mathematical logic / Rewriting / Abstract rewriting system / Logic / Curry–Howard correspondence / Theoretical computer science / Logic in computer science / Mathematics

Publication list of Marc Bezem Journal articles [1] M.A. Bezem. Isomorphisms between HEO and HROE , ECF and ICFE . Journal of Symbolic Logic 50:359–371, M.A. Bezem. Strongly majorizable functionals of finite

Add to Reading List

Source URL: www.ii.uib.no

Language: English - Date: 2013-10-30 09:43:20
163Differential equation / Interval arithmetic / Vector space / Interval finite element / Ordinary differential equation / Mathematics / Algebra / Mathematical analysis

Journal of Universal Computer Science, vol. 4, no), 48-67 submitted: , accepted: , appeared: © Springer Pub. Co. Algebraic Solutions to a Class of Interval Equations Evgenija D. Popova

Add to Reading List

Source URL: www.math.bas.bg

Language: English - Date: 2009-01-04 08:49:01
164Computational linguistics / Information retrieval / Linear algebra / Abstract algebra / Latent semantic analysis / Document-term matrix / Semantic similarity / Speech recognition / Vector space model / Algebra / Mathematics / Natural language processing

This is a preprint of an article accepted for publication in International Journal of Speech Technology, copyright © 2012. Please, cite as in the Journal: http://www.springerlink.com/content/e702857569023407/ The Constr

Add to Reading List

Source URL: elsemantico.es

Language: English - Date: 2012-02-16 13:52:22
165Automated theorem proving / Mathematical logic / Formal methods / Logical truth / Mathematical proof / Proof assistant / Formal proof / Proof / Theorem / Logic / Mathematics / Proof theory

This is a revised and extended version for journal publication of a paper in Proceedings, International Symposium on Multimedia Software Engineering, ed. Jeffrey Tsai and Po-Jen Chuang, IEEE Press, pages 25–32, 2000; t

Add to Reading List

Source URL: cseweb.ucsd.edu

Language: English - Date: 2002-05-15 22:05:35
166Markov models / N-gram / Natural language processing / Speech recognition / Markov chain / Variable / Summation / Letter frequency / Entropy / Mathematics / Science / Statistics

Reprinted with corrections from The Bell System Technical Journal, Vol. 27, pp. 379–423, 623–656, July, October, 1948. A Mathematical Theory of Communication By C. E. SHANNON

Add to Reading List

Source URL: pcp.vub.ac.be

Language: English - Date: 2014-05-02 12:20:01
167Graph theory / Mathematics / Statistical relational learning / Database / Topology / Knowledge representation and reasoning / Graph / Electronics / Social network analysis software / Statistics / Machine learning / Database management systems

Journal of Artificial Intelligence Research441 Submitted 03/12; publishedTransforming Graph Data for Statistical Relational Learning Ryan A. Rossi

Add to Reading List

Source URL: jair.org

Language: English - Date: 2012-10-30 19:53:21
168Convex analysis / Convex function / Convex hull / Vector space / Convex set / Continuous function / Spherical harmonics / Locally convex topological vector space / Shapley–Folkman lemma / Mathematical analysis / Mathematics / Algebra

Journal of Computational and Applied Mathematics–227 www.elsevier.com/locate/cam Numerical solution of the Minkowski problem a

Add to Reading List

Source URL: www.rni.helsinki.fi

Language: English - Date: 2008-04-16 06:00:33
169Artificial intelligence / Genetic programming / Evolutionary computation / Mutation / Crossover / Natural selection / Genetic operator / Fitness / Selection / Genetic algorithms / Applied mathematics / Science

JOURNAL OF LATEX CLASS FILES, VOL. X, NO. X, MONTH 20XX A PPENDIX A I MPLEMENTATION D ETAILS AND S OFTWARE AVAILABILITY A.1 FG-EA Details

Add to Reading List

Source URL: www.genetic-programming.org

Language: English - Date: 2012-06-28 00:31:06
170Stress majorization / Mathematics / Dutch language / IJ / Linguistics

This article was originally published in a journal published by Elsevier, and the attached copy is provided by Elsevier for the author’s benefit and for the benefit of the author’s institution, for non-commercial res

Add to Reading List

Source URL: www1.i2r.a-star.edu.sg

Language: English - Date: 2006-11-25 11:54:06
UPDATE